normal form theorem
英 [ˈnɔːml fɔːm ˈθɪərəm]
美 [ˈnɔːrml fɔːrm ˈθiːərəm]
网络 正规形式定理; 范式定理
双语例句
- By using the Centre Manifold Theorem and the Normal Form Theorem the first order approximate solution for these differential equations of self-excited vibrational system is obtained.
应用中心流形定理和NormalForm定理对这类具有自激振动性质的方程组求得第一次近似解。 - In propositional calculus system of medium logic ( MP~), superior disjunctive normal form theorem and two corollary have been proved.
本文证明了MP~中的完全析取范式定理及其两个推论。文中也给出了判别Γ（？） - A simple method of calculating the coefficients of Normal Form for Hopf bifurcation is reduced by the Centre Manifold Theorem and the Normal Form Theory.
运用中心流形定理和范式理论，本文推导出了一种计算n维动力系统Hopf分叉范式系数的简捷方法。 - The stability of bifurcating periodic solutions and the direction of Hopf bifurcation are determined by applying the normal form theory and the center manifold theorem.
利用规范形式理论和中心流形定理，解析确定了该时延系统的周期解的稳定性与Hopf分岔方向。 - Then, we derive the explicit formulae for determining the direction of the Hopf bifurcation and the stability of these periodic solutions bifurcating from the steady states, by using the normal form method and center manifold theorem.
进而应用规范型方法和中心流形理论，我们推导出确定分支周期解的稳定性和分支方向的计算公式。 - The theory foundation of machanical the-orem proving is the Herbrand theorem, refutation and a conjunctive normal form theorem.
Herbrand定理和范式定理是机器证明的理论基础。 - This paper discusses the system MPM and MFM, constructs the normal form theories of MPM and its tableau system. The soundness and completeness theorem of the tableau system are also given.
本文建立了MP~M系统的范式理论，构造了其表推演系统，并证明了其可靠性和完备性。